automated proof checker造句

例句与造句

1. :: : : : : : : : : Except that automated proof checker programs I've looked at seem to have the natural numbers starting with 1 rather than 0.
2. "' Automath "'( automating mathematics ) was a formal language, devised by Nicolaas Govert de Bruijn starting in 1967, for expressing complete mathematical theories in such a way that an included automated proof checker can verify their correctness.
3. It's difficult to find automated proof checker in a sentence. 用automated proof checker造句挺难的